#include "picoshell.h"
#include "user_lib.h"
#include "exit.h"

int main()
{
	run();
	exit();
}

int run()
{
	printString("HEPIA 2014\n");
}
